### uname -a:
Linux clpc8.cs.ox.ac.uk 2.6.34.7-56.fc13.x86_64 #1 SMP Wed Sep 15 03:36:55 UTC 2010 x86_64 x86_64 x86_64 GNU/Linux
### cat /proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 23
model name	: Intel(R) Core(TM)2 Quad CPU    Q9550  @ 2.83GHz
stepping	: 10
cpu MHz		: 2826.601
cache size	: 6144 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 xsave lahf_lm tpr_shadow vnmi flexpriority
bogomips	: 5653.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 23
model name	: Intel(R) Core(TM)2 Quad CPU    Q9550  @ 2.83GHz
stepping	: 10
cpu MHz		: 2826.601
cache size	: 6144 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 xsave lahf_lm tpr_shadow vnmi flexpriority
bogomips	: 5652.19
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 23
model name	: Intel(R) Core(TM)2 Quad CPU    Q9550  @ 2.83GHz
stepping	: 10
cpu MHz		: 2826.601
cache size	: 6144 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 xsave lahf_lm tpr_shadow vnmi flexpriority
bogomips	: 5652.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 23
model name	: Intel(R) Core(TM)2 Quad CPU    Q9550  @ 2.83GHz
stepping	: 10
cpu MHz		: 2826.601
cache size	: 6144 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 13
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good aperfmperf pni dtes64 monitor ds_cpl vmx smx est tm2 ssse3 cx16 xtpr pdcm sse4_1 xsave lahf_lm tpr_shadow vnmi flexpriority
bogomips	: 5652.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 36 bits physical, 48 bits virtual
power management:
### cat /proc/meminfo:
MemTotal:        3891428 kB
MemFree:         1178420 kB
Buffers:           75996 kB
Cached:          1988500 kB
SwapCached:            0 kB
Active:          1316848 kB
Inactive:        1077468 kB
Active(anon):     267192 kB
Inactive(anon):   108108 kB
Active(file):    1049656 kB
Inactive(file):   969360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      12586892 kB
SwapFree:       12586892 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:        329988 kB
Mapped:            23416 kB
Shmem:             45504 kB
Slab:             179704 kB
SReclaimable:     156424 kB
SUnreclaim:        23280 kB
KernelStack:        2184 kB
PageTables:        14516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    14532604 kB
Committed_AS:     747840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      385656 kB
VmallocChunk:   34359345788 kB
HardwareCorrupted:     0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       10236 kB
DirectMap2M:     4016128 kB
### date:
Thu Oct 13 19:48:40 BST 2011
### user:
mictau
### ulimit -a:
core file size          (blocks, -c) 0
data seg size           (kbytes, -d) unlimited
scheduling priority             (-e) 0
file size               (blocks, -f) unlimited
pending signals                 (-i) 30273
max locked memory       (kbytes, -l) 64
max memory size         (kbytes, -m) unlimited
open files                      (-n) 1024
pipe size            (512 bytes, -p) 8
POSIX message queues     (bytes, -q) 819200
real-time priority              (-r) 0
stack size              (kbytes, -s) 10240
cpu time               (seconds, -t) unlimited
max user processes              (-u) 1024
virtual memory          (kbytes, -v) 3584000
file locks                      (-x) unlimited
### timeout:
timeout -s SIGINT 3600
### tool version info:
USAGE: ./ai <progrname>.c
Options:
 ------- GENERAL OPTIONS
--help                     Display this message
--show-symbol-table 
--show-goto-functions  
--show-cfg 
--function <f>             Set function f as main function
--invariants               Display analysis result (invariants)
--print-assignments        Display analysis result (effects of assignments)
--block-inv-output <id>    Do not output invariants containing certain expressions
 ------- PREPROCESSING AND TRANSFORMATIONS
--inline                   Inline function calls
--preprocess-const-prop    Preprocess CFG with constant propagation
--preprocess-expr-prop     Preprocess CFG with expression propagation
--unwind <n>               Unwind each loop n times
--remove-pointers          Perform pointer analysis
--unwind <n>               Unwind all loops n times
 ------- ANALYSIS OPTIONS
--widening k               Perform widening after k loop iterations 
--unsound-nan              Ignore NaN in arithmetic, e.g. 0 * infinity = 0
--rounding-mode            Set rounding mode for FP
--diseq-itv                Disequalities+intervals 
 ------- ABSTRACT DOMAINS
--box                      Apron box domain
--polyhedra                Apron polyhedra
--octagon                  Apron octacgon
--strict-polyhedra         Apron strict polyhedra
--disequality              Equality/disquality domain
--intervals                Intervals (non-apron) 
--itv-arrays               Intervals + arrays (default)
--max-array-size           Maximum size of arrays that are emulated
--arr-diseq-itv            Disequalities+intervals+arrays
--const-prop               Constant propagation domain
--expr-prop                Expression propagation domain
 ------- OTHER 
--proof-growing            Use proof growing analysis 
 ========== CONFLICT DRIVEN FIXED POINT LEARNING 
--proof-search             Enable conflict driven fixed point learning 
--set-var-range v1,min1,max1,v2,min2,max2,...      
                           Set range of initial variables
--filter-dec-vars <id>     Only use var as decision vars whose
                           identifier contains <id>
--iteration-limit <n>      Quit after <n> iterations
--dec-heur-berkmin         Berkmin + random decision heuristic 
--dec-heur-range-rel       Split on largest range (relative to initial range)
--dec-heur-range           Split on largest range (relative to max type range)
--dec-heur-rand            Split randomly (default)
--nr-splits <n>            Reduce range to 1/(2^(n-1)) at each decision
--disable-learning         Use clauses for backjumping but never apply unit rule
--disable-backjumping      No learning, no non-chronological backtracking
--additional-clauses <f>   Provide additional clauses in file f (untested)
------- EXPERIMENTAL CBMC / CDFPL INTEGRATION 
--bmc-thresh <r>           Set range of variables at which bmc is called 
                           (switched off by default)
--bmc-thresh-rel           Use range relative to initial range
--bmc-on-backtrack         Only call BMC after backtrack
### tool command:
/home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning
### full command line:
/home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning   /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/eps_line1.0.0.i
### expected verification result:
unknown
###############################################################################
file /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/eps_line1.0.0.i: Parsing
Converting
Type-checking eps_line1.0.0
Generating GOTO Program
Function Pointer Removal
got goto-program
CFG has 62 nodes
Obtaining loops ... 
done
setting widening to 10
finding unnecessary nodes ... found 3 unnecessary nodes

ITERATION (decision) 0
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, inf], c::$file::main::1::IN_d in FLOAT: [-inf, inf], c::$file::main::1::IN_a in FLOAT: [-inf, inf], c::$file::main::1::IN_b in FLOAT: [-inf, inf] }
new dlevel: 1
ASSIGN c::$file::main::1::IN_c to [-inf, -0]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 1
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, -0], c::$file::main::1::IN_d in FLOAT: [-inf, inf], c::$file::main::1::IN_a in FLOAT: [-inf, inf], c::$file::main::1::IN_b in FLOAT: [-inf, inf] }
new dlevel: 2
ASSIGN c::$file::main::1::IN_a to [1.4012984643e-45, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 2
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, -0], c::$file::main::1::IN_d in FLOAT: [-inf, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [-inf, inf] }
new dlevel: 3
ASSIGN c::$file::main::1::IN_c to [-inf, -1.7014117332e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 3
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, -1.7014117332e+38], c::$file::main::1::IN_d in FLOAT: [-inf, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [-inf, inf] }
new dlevel: 4
ASSIGN c::$file::main::1::IN_d to [1.4012984643e-45, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 4
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, -1.7014117332e+38], c::$file::main::1::IN_d in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [-inf, inf] }
new dlevel: 5
ASSIGN c::$file::main::1::IN_b to [1.4012984643e-45, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 5
================ 
{ c::$file::main::1::IN_c in FLOAT: [-inf, -1.7014117332e+38], c::$file::main::1::IN_d in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.4012984643e-45, inf] }
new dlevel: 6
ASSIGN c::$file::main::1::IN_c to [-2.5521173463e+38, -1.7014117332e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 6
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.5521173463e+38, -1.7014117332e+38], c::$file::main::1::IN_d in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.4012984643e-45, inf] }
new dlevel: 7
ASSIGN c::$file::main::1::IN_c to [-2.5521173463e+38, -2.1267645904e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 7
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.5521173463e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.4012984643e-45, inf] }
new dlevel: 8
ASSIGN c::$file::main::1::IN_b to [1.7014118346e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 8
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.5521173463e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, inf] }
new dlevel: 9
ASSIGN c::$file::main::1::IN_d to [1.7014118346e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 9
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.5521173463e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, inf] }
new dlevel: 10
ASSIGN c::$file::main::1::IN_b to [1.7014118346e+38, 2.5521177519e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 10
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.5521173463e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, 2.5521177519e+38] }
new dlevel: 11
ASSIGN c::$file::main::1::IN_c to [-2.3394406641e+38, -2.1267645904e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 11
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.3394406641e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, inf], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, 2.5521177519e+38] }
new dlevel: 12
ASSIGN c::$file::main::1::IN_d to [1.7014118346e+38, 2.5521177519e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 12
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.3394406641e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.5521177519e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, 2.5521177519e+38] }
new dlevel: 13
ASSIGN c::$file::main::1::IN_c to [-2.2331024244e+38, -2.1267645904e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 13
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.5521177519e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, 2.5521177519e+38] }
new dlevel: 14
ASSIGN c::$file::main::1::IN_d to [1.7014118346e+38, 2.1267647933e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 14
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [1.7014118346e+38, 2.5521177519e+38] }
new dlevel: 15
ASSIGN c::$file::main::1::IN_b to [2.1267649961e+38, 2.5521177519e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 15
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [2.1267649961e+38, 2.5521177519e+38] }
new dlevel: 16
ASSIGN c::$file::main::1::IN_b to [2.3394414754e+38, 2.5521177519e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 16
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.5521177519e+38] }
new dlevel: 17
ASSIGN c::$file::main::1::IN_b to [2.3394414754e+38, 2.4457795122e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 17
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.4012984643e-45, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.4457795122e+38] }
new dlevel: 18
ASSIGN c::$file::main::1::IN_a to [1.7014118346e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 18
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.7014118346e+38, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.4457795122e+38] }
new dlevel: 19
ASSIGN c::$file::main::1::IN_b to [2.3394414754e+38, 2.3926103924e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 19
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [1.7014118346e+38, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3926103924e+38] }
new dlevel: 20
ASSIGN c::$file::main::1::IN_a to [2.5521179547e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 20
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [2.5521179547e+38, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3926103924e+38] }
new dlevel: 21
ASSIGN c::$file::main::1::IN_a to [2.9774709134e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 21
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [2.9774709134e+38, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3926103924e+38] }
new dlevel: 22
ASSIGN c::$file::main::1::IN_a to [3.1901473927e+38, inf]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 22
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.1901473927e+38, inf], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3926103924e+38] }
new dlevel: 23
ASSIGN c::$file::main::1::IN_a to [3.1901473927e+38, 3.2964854295e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 23
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.1901473927e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3926103924e+38] }
new dlevel: 24
ASSIGN c::$file::main::1::IN_b to [2.3394414754e+38, 2.3660258325e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 24
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.1901473927e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3660258325e+38] }
new dlevel: 25
ASSIGN c::$file::main::1::IN_a to [3.2433165125e+38, 3.2964854295e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 25
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.2331024244e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2433165125e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3660258325e+38] }
new dlevel: 26
ASSIGN c::$file::main::1::IN_c to [-2.1799333046e+38, -2.1267645904e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 26
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2433165125e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3660258325e+38] }
new dlevel: 27
ASSIGN c::$file::main::1::IN_a to [3.2699010725e+38, 3.2964854295e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 27
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3394414754e+38, 2.3660258325e+38] }
new dlevel: 28
ASSIGN c::$file::main::1::IN_b to [2.3527337554e+38, 2.3660258325e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 28
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2964854295e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3660258325e+38] }
new dlevel: 29
ASSIGN c::$file::main::1::IN_a to [3.2699010725e+38, 3.2831931496e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 29
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1267645904e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3660258325e+38] }
new dlevel: 30
ASSIGN c::$file::main::1::IN_c to [-2.1799333046e+38, -2.1533489475e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 30
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1533489475e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3660258325e+38] }
new dlevel: 31
ASSIGN c::$file::main::1::IN_b to [2.3527337554e+38, 2.3593796925e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 31
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1533489475e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 2.1267647933e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3593796925e+38] }
new dlevel: 32
ASSIGN c::$file::main::1::IN_d to [1.7014118346e+38, 1.9140883139e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 32
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1533489475e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3593796925e+38] }
new dlevel: 33
ASSIGN c::$file::main::1::IN_c to [-2.1799333046e+38, -2.1666412275e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 33
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3593796925e+38] }
new dlevel: 34
ASSIGN c::$file::main::1::IN_b to [2.3527337554e+38, 2.3560566225e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 34
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3560566225e+38] }
new dlevel: 35
ASSIGN c::$file::main::1::IN_b to [2.3527337554e+38, 2.3543950875e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 35
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2831931496e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3543950875e+38] }
new dlevel: 36
ASSIGN c::$file::main::1::IN_a to [3.2699010725e+38, 3.2765470096e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 36
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1799333046e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3543950875e+38] }
new dlevel: 37
ASSIGN c::$file::main::1::IN_c to [-2.1732871646e+38, -2.1666412275e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 37
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1732871646e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3527337554e+38, 2.3543950875e+38] }
new dlevel: 38
ASSIGN c::$file::main::1::IN_b to [2.3535645229e+38, 2.3543950875e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 38
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1732871646e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2699010725e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 39
ASSIGN c::$file::main::1::IN_a to [3.2732241424e+38, 3.2765470096e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 39
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1732871646e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.7014118346e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2732241424e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 40
ASSIGN c::$file::main::1::IN_d to [1.8077502771e+38, 1.9140883139e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 40
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1732871646e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8077502771e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2732241424e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 41
ASSIGN c::$file::main::1::IN_c to [-2.1699640946e+38, -2.1666412275e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 41
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1699640946e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8077502771e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2732241424e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 42
ASSIGN c::$file::main::1::IN_a to [3.2748856774e+38, 3.2765470096e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 42
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1699640946e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8077502771e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 43
ASSIGN c::$file::main::1::IN_c to [-2.1683025597e+38, -2.1666412275e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 43
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8077502771e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 44
ASSIGN c::$file::main::1::IN_d to [1.8609193969e+38, 1.9140883139e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 44
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8609193969e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3543950875e+38] }
new dlevel: 45
ASSIGN c::$file::main::1::IN_b to [2.3535645229e+38, 2.3539797038e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 45
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8609193969e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3535645229e+38, 2.3539797038e+38] }
new dlevel: 46
ASSIGN c::$file::main::1::IN_b to [2.3537722147e+38, 2.3539797038e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 46
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.1666412275e+38], c::$file::main::1::IN_d in FLOAT: [1.8609193969e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 47
ASSIGN c::$file::main::1::IN_c to [-2.1683025597e+38, -2.167471995e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 47
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.167471995e+38], c::$file::main::1::IN_d in FLOAT: [1.8609193969e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 48
ASSIGN c::$file::main::1::IN_d to [1.8875039568e+38, 1.9140883139e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 48
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1683025597e+38, -2.167471995e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 49
ASSIGN c::$file::main::1::IN_c to [-2.1678871759e+38, -2.167471995e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 49
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1678871759e+38, -2.167471995e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 50
ASSIGN c::$file::main::1::IN_c to [-2.1678871759e+38, -2.1676796869e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 50
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1678871759e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2748856774e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 51
ASSIGN c::$file::main::1::IN_a to [3.2757164449e+38, 3.2765470096e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 51
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1678871759e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2757164449e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 52
ASSIGN c::$file::main::1::IN_c to [-2.16778333e+38, -2.1676796869e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 52
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.16778333e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2757164449e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 53
ASSIGN c::$file::main::1::IN_a to [3.2761318287e+38, 3.2765470096e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 53
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.16778333e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 54
ASSIGN c::$file::main::1::IN_c to [-2.167731407e+38, -2.1676796869e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 54
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2765470096e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 55
ASSIGN c::$file::main::1::IN_a to [3.2761318287e+38, 3.2763393177e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 55
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1676796869e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 56
ASSIGN c::$file::main::1::IN_c to [-2.167731407e+38, -2.1677056483e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 56
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3539797038e+38] }
new dlevel: 57
ASSIGN c::$file::main::1::IN_b to [2.3537722147e+38, 2.3538758578e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 57
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.9140883139e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538758578e+38] }
new dlevel: 58
ASSIGN c::$file::main::1::IN_d to [1.8875039568e+38, 1.900796034e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 58
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8875039568e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538758578e+38] }
new dlevel: 59
ASSIGN c::$file::main::1::IN_d to [1.8941500968e+38, 1.900796034e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 59
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8941500968e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538758578e+38] }
new dlevel: 60
ASSIGN c::$file::main::1::IN_d to [1.8974731668e+38, 1.900796034e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 60
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538758578e+38] }
new dlevel: 61
ASSIGN c::$file::main::1::IN_b to [2.3537722147e+38, 2.3538239349e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 61
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2763393177e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 62
ASSIGN c::$file::main::1::IN_a to [3.2761318287e+38, 3.2762354718e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 62
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761318287e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 63
ASSIGN c::$file::main::1::IN_a to [3.2761837517e+38, 3.2762354718e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 63
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.167731407e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761837517e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 64
ASSIGN c::$file::main::1::IN_c to [-2.1677184263e+38, -2.1677056483e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 64
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677184263e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761837517e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 65
ASSIGN c::$file::main::1::IN_c to [-2.1677119359e+38, -2.1677056483e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 65
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677119359e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2761837517e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 66
ASSIGN c::$file::main::1::IN_a to [3.2762097131e+38, 3.2762354718e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 66
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677119359e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2762097131e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 67
ASSIGN c::$file::main::1::IN_a to [3.2762226939e+38, 3.2762354718e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 67
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677119359e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2762226939e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 68
ASSIGN c::$file::main::1::IN_c to [-2.1677086907e+38, -2.1677056483e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 68
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2762226939e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 69
ASSIGN c::$file::main::1::IN_a to [3.2762291843e+38, 3.2762354718e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 69
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.900796034e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 70
ASSIGN c::$file::main::1::IN_d to [1.8974731668e+38, 1.899134499e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 70
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.899134499e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762354718e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 71
ASSIGN c::$file::main::1::IN_a to [3.2762291843e+38, 3.2762322266e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 71
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677056483e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.899134499e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 72
ASSIGN c::$file::main::1::IN_c to [-2.1677086907e+38, -2.1677072709e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 72
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677072709e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.899134499e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 73
ASSIGN c::$file::main::1::IN_c to [-2.1677086907e+38, -2.1677080822e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 73
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.899134499e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 74
ASSIGN c::$file::main::1::IN_d to [1.8974731668e+38, 1.8983037315e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 74
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677086907e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8983037315e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 75
ASSIGN c::$file::main::1::IN_c to [-2.1677082851e+38, -2.1677080822e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 75
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8983037315e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 76
ASSIGN c::$file::main::1::IN_d to [1.8974731668e+38, 1.8978883477e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 76
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537722147e+38, 2.3538239349e+38] }
new dlevel: 77
ASSIGN c::$file::main::1::IN_b to [2.3537981762e+38, 2.3538239349e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 77
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537981762e+38, 2.3538239349e+38] }
new dlevel: 78
ASSIGN c::$file::main::1::IN_b to [2.3537981762e+38, 2.3538109541e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 78
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677080822e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537981762e+38, 2.3538109541e+38] }
new dlevel: 79
ASSIGN c::$file::main::1::IN_c to [-2.1677082851e+38, -2.1677082851e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 79
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8974731668e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537981762e+38, 2.3538109541e+38] }
new dlevel: 80
ASSIGN c::$file::main::1::IN_d to [1.8976808587e+38, 1.8978883477e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 80
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3537981762e+38, 2.3538109541e+38] }
new dlevel: 81
ASSIGN c::$file::main::1::IN_b to [2.3538046666e+38, 2.3538109541e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 81
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.2762322266e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538109541e+38] }
new dlevel: 82
ASSIGN c::$file::main::1::IN_a to [3.2762291843e+38, 3.276230604e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 82
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538109541e+38] }
new dlevel: 83
ASSIGN c::$file::main::1::IN_b to [2.3538046666e+38, 2.353807709e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 83
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.353807709e+38] }
new dlevel: 84
ASSIGN c::$file::main::1::IN_b to [2.3538046666e+38, 2.3538060864e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 84
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762291843e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538060864e+38] }
new dlevel: 85
ASSIGN c::$file::main::1::IN_a to [3.2762299955e+38, 3.276230604e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 85
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8976808587e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762299955e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538060864e+38] }
new dlevel: 86
ASSIGN c::$file::main::1::IN_d to [1.8977847046e+38, 1.8978883477e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 86
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762299955e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538060864e+38] }
new dlevel: 87
ASSIGN c::$file::main::1::IN_a to [3.2762304012e+38, 3.276230604e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 87
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.2762304012e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538060864e+38] }
new dlevel: 88
ASSIGN c::$file::main::1::IN_a to [3.276230604e+38, 3.276230604e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 88
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538046666e+38, 2.3538060864e+38] }
new dlevel: 89
ASSIGN c::$file::main::1::IN_b to [2.3538054779e+38, 2.3538060864e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 89
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978883477e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538054779e+38, 2.3538060864e+38] }
new dlevel: 90
ASSIGN c::$file::main::1::IN_d to [1.8977847046e+38, 1.8978364248e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 90
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978364248e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538054779e+38, 2.3538060864e+38] }
new dlevel: 91
ASSIGN c::$file::main::1::IN_b to [2.3538054779e+38, 2.3538056807e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 91
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978364248e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538054779e+38, 2.3538056807e+38] }
new dlevel: 92
ASSIGN c::$file::main::1::IN_b to [2.3538056807e+38, 2.3538056807e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 92
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8977847046e+38, 1.8978364248e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 93
ASSIGN c::$file::main::1::IN_d to [1.8978106661e+38, 1.8978364248e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 93
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978106661e+38, 1.8978364248e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 94
ASSIGN c::$file::main::1::IN_d to [1.8978106661e+38, 1.897823444e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 94
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978106661e+38, 1.897823444e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 95
ASSIGN c::$file::main::1::IN_d to [1.8978171565e+38, 1.897823444e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 95
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978171565e+38, 1.897823444e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 96
ASSIGN c::$file::main::1::IN_d to [1.8978204017e+38, 1.897823444e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 96
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978204017e+38, 1.897823444e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 97
ASSIGN c::$file::main::1::IN_d to [1.8978204017e+38, 1.8978218214e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 97
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978204017e+38, 1.8978218214e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 98
ASSIGN c::$file::main::1::IN_d to [1.897821213e+38, 1.8978218214e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 98
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.897821213e+38, 1.8978218214e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 99
ASSIGN c::$file::main::1::IN_d to [1.8978216186e+38, 1.8978218214e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 99
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978216186e+38, 1.8978218214e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 100
ASSIGN c::$file::main::1::IN_d to [1.8978218214e+38, 1.8978218214e+38]
 because of -1

FAILURE TO PROVE CASE

ITERATION (decision) 100
================ 
{ c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978218214e+38, 1.8978218214e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }
new dlevel: 101
FAILED TO VERIFY PROGRAM
Minimal unsafe element: { c::$file::main::1::IN_c in FLOAT: [-2.1677082851e+38, -2.1677082851e+38], c::$file::main::1::IN_d in FLOAT: [1.8978218214e+38, 1.8978218214e+38], c::$file::main::1::IN_a in FLOAT: [3.276230604e+38, 3.276230604e+38], c::$file::main::1::IN_b in FLOAT: [2.3538056807e+38, 2.3538056807e+38] }== Procedure terminated after 101 iterations 


**** Verification failed 
Found 1 possible assertion violations
********
58: ASSERT  res != 0
    GOTO 59
Potential violation: x == +inf && -1 <= s1 && s1 <= 1 && __CPROVER_malloc_size == 0 && s2 == 1 && res == 0 && sx == 327623060402000066064927082647098753024.000000f && sy == 235380568071095012233834834839918870528.000000f && vx == -216770828505046891418080089420209324032.000000f && e1 == -75.000000f && vy == 189782182142815021730147647127231135744.000000f && e2 == -15.000000f && __CPROVER_rounding_mode == 0 && IN_c == -216770828505046891418080089420209324032.000000f && IN_d == 189782182142815021730147647127231135744.000000f && IN_a == 327623060402000066064927082647098753024.000000f && IN_b == 235380568071095012233834834839918870528.000000f

Information over assertion variables: res == 0 
###############################################################################
### exit code:
0
### /usr/bin/time -v:
	Command being timed: "/home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/cdfpl --inline --filter-dec-vars IN --proof-search --dec-heur-rand --disable-learning /home/scratch/mictau/cprover-benchmarking.git/tmp/cdfpl/build/other/nsv3/eps_line1.0.0.i"
	User time (seconds): 0.13
	System time (seconds): 0.00
	Percent of CPU this job got: 89%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.15
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 4852
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 1233
	Voluntary context switches: 4
	Involuntary context switches: 6
	Swaps: 0
	File system inputs: 0
	File system outputs: 88
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0