From d5e0d187d863096d6390cb39793186f954ff5799 Mon Sep 17 00:00:00 2001 From: Stefan Janssen Date: Wed, 28 Apr 2021 12:03:17 +0200 Subject: [PATCH] revert truth after I realized that we cannot "fix" window mode. See: https://github.com/jlab/gapc/issues/79 --- Truth/Regress/adpf.mfepp.foo.out | 33 +++++++++---------- Truth/Regress/adpf.mfepp.windowbacktrack.out | 2 +- Truth/Regress/adpf.mfepp.windowkbacktrack.out | 24 +++++++------- 3 files changed, 29 insertions(+), 30 deletions(-) diff --git a/Truth/Regress/adpf.mfepp.foo.out b/Truth/Regress/adpf.mfepp.foo.out index 2ae2235d..65c6bf1a 100644 --- a/Truth/Regress/adpf.mfepp.foo.out +++ b/Truth/Regress/adpf.mfepp.foo.out @@ -1,6 +1,6 @@ Answer (0, 100) : -( -2840 , ..........(((((((((((((............(((((((.((...((((((...((......))..)))))).)).)))))))))))))).)))))) ) -( -2840 , ..........(((((((((((((............(((((((.((...((((((...((......))..)))))).)).))))))))))))))).))))) ) +( -2950 , ..........(((((((((((((............(((((((.((...((((((...((......))..)))))).)).)))))))))))))).)))))) ) +( -2950 , ..........(((((((((((((............(((((((.((...((((((...((......))..)))))).)).))))))))))))))).))))) ) Answer (50, 150) : ( -3150 , .((((((((((.......))))).))).....((((((..(((.....))).))))))))(((((((.((((..(((....)))..)))))))))))... ) @@ -15,10 +15,10 @@ Answer (200, 300) : ( -3070 , .((((((..((((((..((((....))))..)))))).))))))...(((........)))(((.(((.((...(((((......))))).)))))))). ) Answer (250, 350) : -( -2710 , ((((((((...(((.((.((((..(((((......)))))(((((...((((....))))..)))))........))))..)).))).))).)))))... ) +( -2740 , ((((((((...(((.((.((((..(((((......)))))(((((...((((....))))..)))))........))))..)).))).))).)))))... ) Answer (300, 400) : -( -2032 , .......(((..((((..........((((........))))(((((((...)))))))((.((((((((.............))))))))))))))))) ) +( -2092 , .......(((..((((..........((((........))))(((((((...)))))))((.((((((((.............))))))))))))))))) ) Answer (350, 450) : ( -3330 , ............((((((.((((...........((((((((((..(((......))).))))))))))((....))............)))))))))). ) @@ -29,7 +29,7 @@ Answer (400, 500) : ( -2340 , ...((((((((((.....)))).((((......(((((........))))).(((((((.((.((......))...)).))))).)))))).))).))). ) Answer (450, 550) : -( -2950 , ..(((..(((.((((...)))).)))..........(((((((....(((((..(((.(((.(((.....)))))).)))))))).)))))))....))) ) +( -2990 , ..(((..(((.((((...)))).)))..........(((((((....(((((..(((.(((.(((.....)))))).)))))))).)))))))....))) ) Answer (500, 600) : ( -2490 , (((((((.(((.(((.....)))))).))))).))..(((....((..((((.(((((((((((.....)))..)).))))))))))..))...)))... ) @@ -37,10 +37,12 @@ Answer (500, 600) : ( -2490 , (((((((.(((.(((.....)))))).))))).))..(((....((..((((.(((((((((((.....)))..)))).))))))))..))...)))... ) Answer (550, 650) : -( -1724 , ......((((..(((((..((((((((.....((((((.(((..............)))...)))))).....))))).)))..))))).))))...... ) +( -1750 , ...(((((((((((.....)))..)).))))))...........((((.....((((((((((((.....)))))).........)))))).....)))) ) +( -1750 , ...(((((((((((.....)))..))).)))))...........((((.....((((((((((((.....)))))).........)))))).....)))) ) +( -1750 , ...(((((((((((.....)))..)))).))))...........((((.....((((((((((((.....)))))).........)))))).....)))) ) Answer (600, 700) : -( -2641 , ...((((((((((((.....)))))).........)))))).....(((((((((((((.......(((......)))))))..)))))))))....... ) +( -2650 , ((((((...((((((.....)))))).........(((((.((....)).))))).))))))..((((((((((((.........))))))..)))))). ) Answer (650, 750) : ( -2431 , (((((((((.......(((......)))))))..))))).....(((((.......((((......))))..(((...........))).)))))..... ) @@ -52,20 +54,17 @@ Answer (700, 800) : ( -2260 , ......((((......)))).(((((.....((((((((....))((....)).))).))).....(((((.((....)).)))))..)))))....... ) Answer (750, 850) : -( -3000 , .((((((.(((((((...(((..........)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) -( -3000 , .((((((.(((((((...(((.((....)).)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) -( -3000 , .(((((.((((((((...(((..........)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) -( -3000 , .(((((.((((((((...(((.((....)).)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) +( -3130 , .((((((.(((((((...(((..........)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) +( -3130 , .((((((.(((((((...(((.((....)).)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) +( -3130 , .(((((.((((((((...(((..........)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) +( -3130 , .(((((.((((((((...(((.((....)).)))(((...))).)))))))))))...)).(((((.(((((((((.......))))).)).)).))))) ) Answer (800, 900) : -( -2560 , ..((....((.(((((.(((((((((.......))))).)).)).))))))).(((.....)))......................))(((.....))). ) +( -2720 , ..((....((.(((((.(((((((((.......))))).)).)).)))))))..((..((((((..((((...))))..)).))))...)).......)) ) Answer (850, 950) : -( -2510 , ...(((.....(((......)))............((((((.....(((((..((.....(((((....))))).))..)))))....))).)))))).. ) +( -2580 , ...(((.....))).......(((..(((((((...(((.((......)).)))......(((((....)))))......))))))).((.....))))) ) Answer (900, 1000) : -( -3000 , ..((......(((((....)))))......((((....(((.((.......)))))))))..))....((((((((((......))))))..)))).... ) -( -3000 , ..((......(((((....)))))......((((....(((.((.......)))))))))..))....((((((((((......)))))))..))).... ) -( -3000 , ..((......(((((....)))))......((((....(((.((.......)))))))))..)).((..(((.(((((......))))))))..)).... ) -( -3000 , ..((......(((((....)))))......((((....(((.((.......)))))))))..)).((..((.((((((......))))))))..)).... ) +( -3010 , (((((.....(((((....)))))..(((........)))((((.((.....))((((.((.((.....)).)))))).)))).)))))........... ) diff --git a/Truth/Regress/adpf.mfepp.windowbacktrack.out b/Truth/Regress/adpf.mfepp.windowbacktrack.out index 4d1c08bc..faf249cc 100644 --- a/Truth/Regress/adpf.mfepp.windowbacktrack.out +++ b/Truth/Regress/adpf.mfepp.windowbacktrack.out @@ -3,7 +3,7 @@ Answer (0, 20) : Answer (5, 25) : ( 0 , .................... ) Answer (10, 30) : -( -40 , ((((........)))).... ) +( -70 , ((((........)))).... ) Answer (15, 35) : ( -140 , ..........((....)).. ) Answer (20, 40) : diff --git a/Truth/Regress/adpf.mfepp.windowkbacktrack.out b/Truth/Regress/adpf.mfepp.windowkbacktrack.out index e2a20b48..32957ca2 100644 --- a/Truth/Regress/adpf.mfepp.windowkbacktrack.out +++ b/Truth/Regress/adpf.mfepp.windowkbacktrack.out @@ -7,25 +7,25 @@ Answer (2, 22) : Answer (3, 23) : ( 0 , .................... ) Answer (4, 24) : -( 0 , .................... ) +( -20 , ((..((((....))))..)) ) Answer (5, 25) : ( 0 , .................... ) Answer (6, 26) : -( 0 , .................... ) +( -70 , ....((((........)))) ) Answer (7, 27) : -( -170 , ..(((((........))))) ) +( -300 , ..(((((........))))) ) Answer (8, 28) : -( -300 , .(((((........))))). ) +( -340 , ((((((........)))))) ) Answer (9, 29) : -( -290 , (((((........))))).. ) +( -300 , (((((........))))).. ) Answer (10, 30) : -( -40 , ((((........)))).... ) +( -70 , ((((........)))).... ) Answer (11, 31) : ( 0 , .................... ) Answer (12, 32) : -( 0 , .................... ) +( -120 , .......(((.......))) ) Answer (13, 33) : -( -120 , ......(((.......))). ) +( -140 , ............((....)) ) Answer (14, 34) : ( -140 , ...........((....)). ) Answer (15, 35) : @@ -37,7 +37,7 @@ Answer (17, 37) : Answer (18, 38) : ( -140 , .......((....))..... ) Answer (19, 39) : -( -150 , .......((((.....)))) ) +( -270 , .......((((.....)))) ) Answer (20, 40) : ( -270 , ......((((.....)))). ) Answer (21, 41) : @@ -53,9 +53,9 @@ Answer (25, 45) : Answer (26, 46) : ( -270 , ((((.....))))....... ) Answer (27, 47) : -( -20 , ..((.(((......))))). ) +( -40 , .(((.(((......)))))) ) Answer (28, 48) : -( -20 , .((.(((......))))).. ) +( -40 , (((.(((......)))))). ) Answer (29, 49) : ( -20 , ((.(((......)))))... ) Answer (30, 50) : @@ -63,7 +63,7 @@ Answer (30, 50) : Answer (31, 51) : ( 0 , .................... ) Answer (32, 52) : -( -60 , (((.(((.......)))))) ) +( -160 , (((.(((.......)))))) ) Answer (33, 53) : ( 0 , .................... ) Answer (34, 54) :